<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
 -->
<!-- Title: example.y Pages: 1 -->
<svg width="751pt" height="420pt"
 viewBox="0.00 0.00 750.50 420.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 416)">
<title>example.y</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-416 746.5,-416 746.5,4 -4,4"/>
<!-- 0 -->
<g id="node1" class="node">
<title>0</title>
<polygon fill="none" stroke="#000000" points="465,-412 255,-412 255,-298 465,-298 465,-412"/>
<text text-anchor="middle" x="360" y="-396.8" font-family="Courier,monospace" font-size="14.00" fill="#000000">State 0</text>
<text text-anchor="start" x="263" y="-365.8" font-family="Courier,monospace" font-size="14.00" fill="#000000"> &#160;0 $accept: • exp $end</text>
<text text-anchor="start" x="263" y="-350.8" font-family="Courier,monospace" font-size="14.00" fill="#000000"> &#160;1 exp: • a &quot;;&quot;</text>
<text text-anchor="start" x="263" y="-335.8" font-family="Courier,monospace" font-size="14.00" fill="#000000"> &#160;2 &#160;&#160;&#160;| • b &quot;.&quot;</text>
<text text-anchor="start" x="263" y="-320.8" font-family="Courier,monospace" font-size="14.00" fill="#000000"> &#160;3 a: • &quot;0&quot;</text>
<text text-anchor="start" x="263" y="-305.8" font-family="Courier,monospace" font-size="14.00" fill="#000000"> &#160;4 b: • &quot;0&quot;</text>
</g>
<!-- 1 -->
<g id="node2" class="node">
<title>1</title>
<polygon fill="none" stroke="#000000" points="176,-247 0,-247 0,-178 176,-178 176,-247"/>
<text text-anchor="middle" x="88" y="-231.8" font-family="Courier,monospace" font-size="14.00" fill="#000000">State 1</text>
<text text-anchor="start" x="8" y="-200.8" font-family="Courier,monospace" font-size="14.00" fill="#000000"> &#160;3 a: &quot;0&quot; • &#160;[&quot;;&quot;]</text>
<text text-anchor="start" x="8" y="-185.8" font-family="Courier,monospace" font-size="14.00" fill="#000000"> &#160;4 b: &quot;0&quot; • &#160;[&quot;.&quot;]</text>
</g>
<!-- 0&#45;&gt;1 -->
<g id="edge1" class="edge">
<title>0&#45;&gt;1</title>
<path fill="none" stroke="#000000" d="M254.8377,-299.9058C224.2166,-283.8635 191.3938,-266.6677 163.0319,-251.809"/>
<polygon fill="#000000" stroke="#000000" points="164.471,-248.6117 153.9887,-247.0713 161.2224,-254.8123 164.471,-248.6117"/>
<text text-anchor="middle" x="229" y="-268.8" font-family="Courier,monospace" font-size="14.00" fill="#000000">&quot;0&quot;</text>
</g>
<!-- 2 -->
<g id="node3" class="node">
<title>2</title>
<polygon fill="none" stroke="#000000" points="404,-239.5 194,-239.5 194,-185.5 404,-185.5 404,-239.5"/>
<text text-anchor="middle" x="299" y="-224.3" font-family="Courier,monospace" font-size="14.00" fill="#000000">State 2</text>
<text text-anchor="start" x="202" y="-193.3" font-family="Courier,monospace" font-size="14.00" fill="#000000"> &#160;0 $accept: exp • $end</text>
</g>
<!-- 0&#45;&gt;2 -->
<g id="edge2" class="edge">
<title>0&#45;&gt;2</title>
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M335.5404,-297.8609C328.4711,-281.3463 320.9507,-263.7782 314.5817,-248.8999"/>
<polygon fill="#000000" stroke="#000000" points="317.732,-247.3651 310.579,-239.5493 311.2968,-250.1198 317.732,-247.3651"/>
<text text-anchor="middle" x="341" y="-268.8" font-family="Courier,monospace" font-size="14.00" fill="#000000">exp</text>
</g>
<!-- 3 -->
<g id="node4" class="node">
<title>3</title>
<polygon fill="none" stroke="#000000" points="573.5,-239.5 422.5,-239.5 422.5,-185.5 573.5,-185.5 573.5,-239.5"/>
<text text-anchor="middle" x="498" y="-224.3" font-family="Courier,monospace" font-size="14.00" fill="#000000">State 3</text>
<text text-anchor="start" x="430.5" y="-193.3" font-family="Courier,monospace" font-size="14.00" fill="#000000"> &#160;1 exp: a • &quot;;&quot;</text>
</g>
<!-- 0&#45;&gt;3 -->
<g id="edge3" class="edge">
<title>0&#45;&gt;3</title>
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M415.3347,-297.8609C432.0893,-280.5599 449.9638,-262.1026 464.7898,-246.7932"/>
<polygon fill="#000000" stroke="#000000" points="467.3623,-249.1678 471.8048,-239.5493 462.3338,-244.2981 467.3623,-249.1678"/>
<text text-anchor="middle" x="450.5" y="-268.8" font-family="Courier,monospace" font-size="14.00" fill="#000000">a</text>
</g>
<!-- 4 -->
<g id="node5" class="node">
<title>4</title>
<polygon fill="none" stroke="#000000" points="742.5,-239.5 591.5,-239.5 591.5,-185.5 742.5,-185.5 742.5,-239.5"/>
<text text-anchor="middle" x="667" y="-224.3" font-family="Courier,monospace" font-size="14.00" fill="#000000">State 4</text>
<text text-anchor="start" x="599.5" y="-193.3" font-family="Courier,monospace" font-size="14.00" fill="#000000"> &#160;2 exp: b • &quot;.&quot;</text>
</g>
<!-- 0&#45;&gt;4 -->
<g id="edge4" class="edge">
<title>0&#45;&gt;4</title>
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M465.2225,-306.1589C509.5736,-285.5725 559.9111,-262.2074 599.2142,-243.9641"/>
<polygon fill="#000000" stroke="#000000" points="600.8484,-247.0643 608.4453,-239.6793 597.9012,-240.7149 600.8484,-247.0643"/>
<text text-anchor="middle" x="555.5" y="-268.8" font-family="Courier,monospace" font-size="14.00" fill="#000000">b</text>
</g>
<!-- 1R3 -->
<g id="node6" class="node">
<title>1R3</title>
<polygon fill="#b2df8a" stroke="#000000" points="38,-118 7.8347,-100 38,-82 68.1653,-100 38,-118"/>
<text text-anchor="middle" x="38" y="-96.3" font-family="Courier,monospace" font-size="14.00" fill="#000000">R3</text>
</g>
<!-- 1&#45;&gt;1R3 -->
<g id="edge5" class="edge">
<title>1&#45;&gt;1R3</title>
<path fill="none" stroke="#000000" d="M72.5904,-177.8283C64.8229,-160.3515 55.5996,-139.599 48.6312,-123.9201"/>
<polygon fill="#000000" stroke="#000000" points="51.6753,-122.1516 44.4155,-114.435 45.2786,-124.9946 51.6753,-122.1516"/>
</g>
<!-- 1R4 -->
<g id="node7" class="node">
<title>1R4</title>
<polygon fill="#b2df8a" stroke="#000000" points="117,-118 86.8347,-100 117,-82 147.1653,-100 117,-118"/>
<text text-anchor="middle" x="117" y="-96.3" font-family="Courier,monospace" font-size="14.00" fill="#000000">R4</text>
</g>
<!-- 1&#45;&gt;1R4 -->
<g id="edge6" class="edge">
<title>1&#45;&gt;1R4</title>
<path fill="none" stroke="#000000" d="M96.9376,-177.8283C101.2916,-160.9376 106.4344,-140.9872 110.423,-125.5143"/>
<polygon fill="#000000" stroke="#000000" points="113.869,-126.1674 112.976,-115.6103 107.0906,-124.4201 113.869,-126.1674"/>
<text text-anchor="middle" x="127.5" y="-148.8" font-family="Courier,monospace" font-size="14.00" fill="#000000">[&quot;.&quot;]</text>
</g>
<!-- 5 -->
<g id="node8" class="node">
<title>5</title>
<polygon fill="none" stroke="#000000" points="404,-127 194,-127 194,-73 404,-73 404,-127"/>
<text text-anchor="middle" x="299" y="-111.8" font-family="Courier,monospace" font-size="14.00" fill="#000000">State 5</text>
<text text-anchor="start" x="202" y="-80.8" font-family="Courier,monospace" font-size="14.00" fill="#000000"> &#160;0 $accept: exp $end •</text>
</g>
<!-- 2&#45;&gt;5 -->
<g id="edge7" class="edge">
<title>2&#45;&gt;5</title>
<path fill="none" stroke="#000000" d="M299,-185.2669C299,-171.0012 299,-153.3067 299,-137.7405"/>
<polygon fill="#000000" stroke="#000000" points="302.5001,-137.3722 299,-127.3722 295.5001,-137.3723 302.5001,-137.3722"/>
<text text-anchor="middle" x="316" y="-148.8" font-family="Courier,monospace" font-size="14.00" fill="#000000">$end</text>
</g>
<!-- 6 -->
<g id="node9" class="node">
<title>6</title>
<polygon fill="none" stroke="#000000" points="573.5,-127 422.5,-127 422.5,-73 573.5,-73 573.5,-127"/>
<text text-anchor="middle" x="498" y="-111.8" font-family="Courier,monospace" font-size="14.00" fill="#000000">State 6</text>
<text text-anchor="start" x="430.5" y="-80.8" font-family="Courier,monospace" font-size="14.00" fill="#000000"> &#160;1 exp: a &quot;;&quot; •</text>
</g>
<!-- 3&#45;&gt;6 -->
<g id="edge8" class="edge">
<title>3&#45;&gt;6</title>
<path fill="none" stroke="#000000" d="M498,-185.2669C498,-171.0012 498,-153.3067 498,-137.7405"/>
<polygon fill="#000000" stroke="#000000" points="501.5001,-137.3722 498,-127.3722 494.5001,-137.3723 501.5001,-137.3722"/>
<text text-anchor="middle" x="511" y="-148.8" font-family="Courier,monospace" font-size="14.00" fill="#000000">&quot;;&quot;</text>
</g>
<!-- 7 -->
<g id="node10" class="node">
<title>7</title>
<polygon fill="none" stroke="#000000" points="742.5,-127 591.5,-127 591.5,-73 742.5,-73 742.5,-127"/>
<text text-anchor="middle" x="667" y="-111.8" font-family="Courier,monospace" font-size="14.00" fill="#000000">State 7</text>
<text text-anchor="start" x="599.5" y="-80.8" font-family="Courier,monospace" font-size="14.00" fill="#000000"> &#160;2 exp: b &quot;.&quot; •</text>
</g>
<!-- 4&#45;&gt;7 -->
<g id="edge9" class="edge">
<title>4&#45;&gt;7</title>
<path fill="none" stroke="#000000" d="M667,-185.2669C667,-171.0012 667,-153.3067 667,-137.7405"/>
<polygon fill="#000000" stroke="#000000" points="670.5001,-137.3722 667,-127.3722 663.5001,-137.3723 670.5001,-137.3722"/>
<text text-anchor="middle" x="680" y="-148.8" font-family="Courier,monospace" font-size="14.00" fill="#000000">&quot;.&quot;</text>
</g>
<!-- 5R0 -->
<g id="node11" class="node">
<title>5R0</title>
<polygon fill="#a6cee3" stroke="#000000" points="299,-36 260.2905,-18 299,0 337.7095,-18 299,-36"/>
<text text-anchor="middle" x="299" y="-14.3" font-family="Courier,monospace" font-size="14.00" fill="#000000">Acc</text>
</g>
<!-- 5&#45;&gt;5R0 -->
<g id="edge10" class="edge">
<title>5&#45;&gt;5R0</title>
<path fill="none" stroke="#000000" d="M299,-72.6952C299,-64.3091 299,-55.0593 299,-46.5897"/>
<polygon fill="#000000" stroke="#000000" points="302.5001,-46.4024 299,-36.4024 295.5001,-46.4024 302.5001,-46.4024"/>
</g>
<!-- 6R1 -->
<g id="node12" class="node">
<title>6R1</title>
<polygon fill="#b2df8a" stroke="#000000" points="498,-36 467.8347,-18 498,0 528.1653,-18 498,-36"/>
<text text-anchor="middle" x="498" y="-14.3" font-family="Courier,monospace" font-size="14.00" fill="#000000">R1</text>
</g>
<!-- 6&#45;&gt;6R1 -->
<g id="edge11" class="edge">
<title>6&#45;&gt;6R1</title>
<path fill="none" stroke="#000000" d="M498,-72.6952C498,-64.3091 498,-55.0593 498,-46.5897"/>
<polygon fill="#000000" stroke="#000000" points="501.5001,-46.4024 498,-36.4024 494.5001,-46.4024 501.5001,-46.4024"/>
</g>
<!-- 7R2 -->
<g id="node13" class="node">
<title>7R2</title>
<polygon fill="#b2df8a" stroke="#000000" points="667,-36 636.8347,-18 667,0 697.1653,-18 667,-36"/>
<text text-anchor="middle" x="667" y="-14.3" font-family="Courier,monospace" font-size="14.00" fill="#000000">R2</text>
</g>
<!-- 7&#45;&gt;7R2 -->
<g id="edge12" class="edge">
<title>7&#45;&gt;7R2</title>
<path fill="none" stroke="#000000" d="M667,-72.6952C667,-64.3091 667,-55.0593 667,-46.5897"/>
<polygon fill="#000000" stroke="#000000" points="670.5001,-46.4024 667,-36.4024 663.5001,-46.4024 670.5001,-46.4024"/>
</g>
</g>
</svg>
